Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
291	An Integrated Modal Approach to Rational Agents W. van der Hoek B. van Lindery J.-J. Ch. Meyer Utrecht University { Department of Computer Science P.O. Box { 3508 TB Utrecht { The Netherlands Abstract Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:34 Artificial intelligence Science Philosophical logic Multi-agent systems Game theory Action theory Kripke semantics Dynamic logic Intelligent agent Logic Mathematical logic Modal logic
292	Manifest Security for Distributed Information Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania March 6, 2006 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-03-07 09:37:45 Deduction Propositional calculus Philosophical logic Logical consequence Information flow Entailment Modal logic Computer security Soundness Logic Mathematical logic Proof theory
293	Microsoft Word - Land Metaphysics.web.doc Add to Reading List Source URL: www.freyamathews.net Language: English - Date: 2012-02-05 16:40:44 Philosophy of mind Modal logic Metaphysics Philosophy Pantheism Panpsychism
294	Stalnaker on Indicative Conditionals John MacFarlane — Philosophy 142 April 19, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-04-19 14:24:39 Logical consequence Propositional calculus Binary operations Counterfactual conditional Material conditional Modal logic Vacuous truth Indicative conditional Robert Stalnaker Logic Conditionals Philosophical logic
295	Contingency FAQ Sheet: Please read this FAQ sheet before beginning your race season if you are going for any contingency at all. This form is a guide that will help to ensure CCS and ASRA riders are 100% compliant so tha Add to Reading List Source URL: www.asraracing.com Language: English - Date: 2013-04-29 10:22:19 Contingency Modal logic Propositions
296	Social Revision vs Aggregation Doxastic influence Stability and flux Dynamics in the community Plausibility influence Further issues Add to Reading List Source URL: cmss.auckland.ac.nz Language: English - Date: 2013-03-22 22:30:30 Reasoning Science Knowledge Belief revision Logic Social influence Plausibility structure Belief Modal logic Doxastic logic
297	Pre-proceedings of the KR2008-workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS), Sydney, September 2008 Edited by John-Jules Ch. Meyer and Jan Broersen August 11, 2008 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2008-08-11 05:22:29 Philosophical logic Metalogic Branches of philosophy Epistemic modal logic Non-monotonic logic Model theory Epistemology Logic programming Entailment Logic Non-classical logic Modal logic
298	TUTORIAL BASIC MODAL LOGIC John-Jules Ch. Meyer Intelligent Systems, Utrecht University Modal logic is widely used in AI in general and the area of intelligent agents more in particular. In many papers some basic knowl Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2009-01-28 11:49:26 Epistemic modal logic Normal modal logic Deontic logic Common knowledge Temporal logic Dynamic logic Kripke semantics Multimodal logic Logic Mathematical logic Modal logic
299	Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 14:21:03 Model theory Philosophical logic Non-classical logic Interpretation S5 Accessibility relation Logical connective Propositional calculus Linear temporal logic Logic Mathematical logic Modal logic
300	PDF Document Add to Reading List Source URL: www.disasterriskreduction.net Language: English - Date: 2012-03-31 04:35:03 Modal logic Propositions Emergency Management Security Emergency management Public safety Contingency

UPDATE